Supporting the Design of Office Procedures in the Domino System

In this paper, we show how a graphical interactive planner is used to support the design of specifications, for an office procedure system. In a first phase, a plan is designed reiying on a knowledge base which describes the given organization. This plan is represented as a modified Petri net and can be tested and revised using simulation. In the second phase, the plan is transformed automatically into a formal specification of an office procedure, in our case a CoPlan-S procedure for the DO!vfINO system. In the first part of the paper we briefly describe the planning system VIPS and the office procedure system DOMINO. Then we explain the transformation process and illustrate the genera tion of a procedure specification with the help of an example.